COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.REQUIRE "LET.PUB" SOURCE FILE
C00003 ENDMK
C⊗;
.REQUIRE "LET.PUB" SOURCE FILE
∂AIL Robert Cartwright↓Department of Computer Science↓Cornell University
↓Upson Hall↓Ithaca, N.Y. 14853∞

Dear Corky:

	Look at the paper by Mitchell Wand in the Jan. 78 CACM for
another claim of the inadequacy of first order logic.

.sgn